翻訳と辞書 Words near each other ・ CARTES (Exhibition & Conference) ・ Cartes du Ciel ・ Cartesian ・ Cartesian anxiety ・ Cartesian circle ・ Cartesian closed category ・ Cartesian coordinate robot ・ Cartesian coordinate system ・ Cartesian diver ・ Cartesian doubt ・ Cartesian Dreams ・ Cartesian linguistics ・ Cartesian materialism ・ Cartesian Meditations ・ Cartesian monoid ・ Cartesian monoidal category ・ Cartesian Other ・ Cartesian oval ・ Cartesian Perceptual Compression ・ Cartesian product ・ Cartesian product of graphs ・ Cartesian Reflections ・ Cartesian Self ・ Cartesian skyscraper ・ Cartesian tensor ・ Cartesian theater ・ Cartesian tree ・ Cartesianism ・ Cartesio Oktató és Szolgáltató bt ・ Cartha DeLoach Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Cartesian monoidal category ： ウィキペディア英語版 Cartesian monoidal category In mathematics, specifically in the field known as category theory, a monoidal category where the monoidal ("tensor") product is the categorical product is called a cartesian monoidal category. Any category with finite products (a "finite product category") can be thought of as a cartesian monoidal category. In any cartesian monoidal category, the terminal object is the tensor unit. Dually, a monoidal finite coproduct category with the monoidal structure given by the coproduct and unit the initial object is called a cocartesian monoidal category, and any finite coproduct category can be thought of as a cocartesian monoidal category. Cartesian categories with a Hom functor that is an adjoint functor to the product are called Cartesian closed categories. == Properties == Cartesian monoidal categories have a number of special and important properties, such as the existence of diagonal maps Δ''x'' : ''x'' → ''x'' ⊗ ''x'' and augmentations ''e''''x'' : ''x'' → ''I'' for any object ''x''. In applications to computer science we can think of Δ as ‘duplicating data’ and ''e'' as ‘deleting’ data. These maps make any object into a comonoid. In fact, any object in a cartesian monoidal category becomes a comonoid in a unique way. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Cartesian monoidal category」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.